On the Characteristic and Weight of a Topological Space
نویسنده
چکیده
We continue Mizar formalization of General Topology according to the book [13] by Engelking. In the article the formalization of Section 1.1 is completed. Namely, the paper includes the formalization of theorems on correspondence of the basis and basis in a point, definitions of the character of a point and a topological space, a neighborhood system, and the weight of a topological space. The formalization is tested with almost discrete topological spaces with infinity.
منابع مشابه
TOPOLOGICAL CHARACTERIZATION FOR FUZZY REGULAR LANGUAGES
We present a topological characterization for fuzzy regular languages: we show that there is a bijective correspondence between fuzzy regular languages and the set of all clopen fuzzy subsets with finite image in the induced fuzzy topological space of Stone space (Profinite space), and then we give a representation of closed fuzzy subsets in the induced fuzzy topological space via fuzzy regular...
متن کاملdominating subset and representation graph on topological spaces
Let a topological space. An intersection graph on a topological space , which denoted by , is an undirected graph which whose vertices are open subsets of and two vertices are adjacent if the intersection of them are nonempty. In this paper, the relation between topological properties of and graph properties of are investigated. Also some classifications and representations for the graph ...
متن کاملParacompactness on supra topological spaces
In this article, we present the concept of supra paracompact spaces and study its basic properties. We elucidate its relationship with supra compact spaces and prove that the property of being a supra paracompact space is weakly hereditary and topological properties. Also, we provide some examples to show some results concerning paracompactness on topology are invalid on supra topology. Finally...
متن کاملOn the topological equivalence of some generalized metric spaces
The aim of this paper is to establish the equivalence between the concepts of an $S$-metric space and a cone $S$-metric space using some topological approaches. We introduce a new notion of a $TVS$-cone $S$-metric space using some facts about topological vector spaces. We see that the known results on cone $S$-metric spaces (or $N$-cone metric spaces) can be directly obtained from...
متن کاملSEMIGROUP ACTIONS , WEAK ALMOST PERIODICITY, AND INVARIANT MEANS
Let S be a topological semigroup acting on a topological space X. We develop the theory of (weakly) almost periodic functions on X, with respect to S, and form the (weakly) almost periodic compactifications of X and S, with respect to each other. We then consider the notion of an action of Son a Banach space, and on its dual, and after defining S-invariant means for such a space, we give a...
متن کاملTHE ANALOGUE OF WEIGHTED GROUP ALGEBRA FOR SEMITOPOLOGICAL SEMIGROUPS
In [1,2,3], A. C. Baker and J.W. Baker studied the subspace Ma(S) of the convolution measure algebra M, (S) of a locally compact semigroup. H. Dzinotyiweyi in [5,7] considers an analogous measure space on a large class of C-distinguished topological semigroups containing all completely regular topological semigroups. In this paper, we extend the definitions to study the weighted semigroup ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007